]> dgit.raspbian.org Git - gnome-shell.git/commit
windowManager: Warn when removing old animationInfo
authorJonas Dreßler <verdre@v0yd.nl>
Tue, 12 May 2020 10:28:03 +0000 (12:28 +0200)
committerRobert Mader <robert.mader@posteo.de>
Mon, 15 Jun 2020 13:12:03 +0000 (13:12 +0000)
commitc23ad83c593880c09efcc733cf1ff6dd9453d187
treedc1e76cc6c1769e2dceb19a4bb5cc98a2f7e429f
parent4a6f550acb3f3c0672cd72f64e0639d9db2f3c94
windowManager: Warn when removing old animationInfo

Now that we properly notify mutter about when a size-change animation
has ended, it should never happen that a new size-change animation is
started without the last one being cancelled (ie. 'kill-window-effects'
being emitted).

This means there should also never be an old animationInfo attached to a
window actor, so warn in case we still find one when starting the
animation.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1251
js/ui/windowManager.js